Understanding Proofs
نویسندگان
چکیده
‘Now, in calm weather, to swim in the open ocean is as easy to the practised swimmer as to ride in a spring-carriage ashore. But the awful lonesomeness is intolerable. The intense concentration of self in the middle of such a heartless immensity, my God! who can tell it? Mark, how when sailors in a dead calm bathe in the open sea—mark how closely they hug their ship and only coast along her sides.’ (Herman Melville, Moby Dick, Chapter 94)
منابع مشابه
The Role of Instrumental and Relational Understanding in Proofs about Group Isomorphisms
The ability to construct proofs is a crucial skill in advanced mathematics that most students lack. To investigate the causes of students' difficulty, we observed a small group of undergraduates and doctoral students constructing proofs about group isomorphisms. Undergraduates were able to construct very few proofs, despite having an understanding of mathematical logic and often possessing the ...
متن کاملA Science of Reasoning (Extended Abstract)
How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic. A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs. Criteria are given for assessing the association of a proo...
متن کاملThe logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کاملNatural Language Understanding as First-Order Abduction via Stable Models
We present a method for finding abductive proofs in first-order Horn theories by using an answer-set solver. We illustrate our solution with examples from the domain of natural language understanding. Furthermore we describe a novel way of ranking abductive proofs of logical forms of sentences.
متن کاملReconsidering Imamiyeh theologian`s proofs for infallibility of Imam until the end of fifth century
This article has no abstract.
متن کاملA Drt-based Approach for Formula Parsing in Textbook Proofs
Knowledge is essential for understanding discourse. Generally, this has to be common sense knowledge and therefore, discourse understanding is hard. For the understanding of textbook proofs, however, only a limited quantity of knowledge is necessary. In addition, we have gained something very essential: inference. A prerequisite for parsing textbook proofs is to being able to parse formulae tha...
متن کامل